'''
Created on Oct 31, 2014

@author: azhelezny
'''
AAAA = 16513
AAAa = 16872
AAaa = 17149
AaAa = 17976
Aaaa = 17909
aaaa = 17790

# Pr(AAAA) = 1
# Pr(AAAa) = 1
# Pr(AAaa) = 1
# Pr(AaAa) = 3/4
# Pr(Aaaa) = 1/2
# Pr(aaaa) = 0

result = 2*AAAA+2*AAAa+2*AAaa+(AaAa*1.5)+(Aaaa)

print(format(result))